<html>


<head>

<title>
    Parser and Evaluator for Propositional Logic
</title>

<meta http-equiv="content-type" content="text/html;charset=utf-8"> 

<link rel="stylesheet" href="parser.css" type="text/css" media="screen"> 

</head> 


<body>

<div id="pageDiv">

<div id="mainDiv">
    <h1>Parser and Evaluator for Propositional Logic</h1>
    
    <h3><a href="http://cs-people.bu.edu/ckwan/cs511/">
    Project Website</a></h3>
     
    <div id="instructionsDiv">
        <h2>Example Usage:</h2>
        <textarea id="instructionsBox" rows="5" cols="50">
        </textarea>
    </div>

    <div id="inputDiv">
        <h2>Input:</h2>
        <textarea id="inputBox" rows="5" cols="38" onkeypress = "keypress(event)">
        </textarea>
    
        <br>
    
        <button onclick = clearInput()>Clear</button>
        <button onclick = update()>Validate</button>
    </div>

    
    <div id="errorDiv">
        <!-- <h2>Error:</h2> -->
        <!-- <textarea id="errorBox" rows="2" cols="38"></textarea> -->
    </div>

    
    <!-- <h2>Assertions:</h2> -->
    <div id="assertDiv">
        
    </div>
</div> <!-- end mainDiv -->



<div id = "detailsDiv">
   
<div id = "detailsTopDiv">

<div id = "detailsTopLeftDiv">

    <div id = "detailsTitleDiv">
        <!-- <h2>Details:</h2> -->
        <!-- <button onclick = clearAssertDetails()>Hide Details</button> -->
    </div>
    
    <!-- <h3>Assertion:</h3> -->
    <div id="currentAssertionDiv">
    </div>

    <!-- <h3>Assumptions:</h3> -->
    <div id="assumeDiv">
    </div>

    <!-- <h3>Implication (Assumptions -> Assertion):</h3> -->
    <div id="implicationDiv">
    </div>

    <!-- <h3>Summary:</h3> -->
    <div id="summaryDiv">
    </div>

</div> <!-- end detailsTopLeftDiv -->

<div id = "detailsTopRightDiv">
    <!-- <h3>Parse Tree:</h3> -->
    <div id="parseTreeDiv">
    </div>
</div> <!-- end detailsTopRightDiv>

</div> <!-- end detailsTopDiv-->    

<div id = "detailsBottomDiv">

    <!-- <h3>Truth Table:</h3> -->
    <div id="truthtableDiv">
    </div>

</div> <!-- end detailsBottomDiv -->
    
</div> <!-- end detailsDiv -->

<hr>

<div id = "footerDiv">
    <a href="http://cs-people.bu.edu/ckwan/cs511/">
    CS 511 Spring 2011 Project | Client-side Parsing and Verification</a>
    <br>
    Made by 
    <a href="http://cs-people.bu.edu/breslav">Mikhail Breslav</a> 
    and 
    <a href="http://cs-people.bu.edu/ckwan">Christopher Kwan</a>
    | Last Update: 5/10/2011
</div> <!-- end footerDiv -->

<!-- Down here so that page loads before javascript is run -->
<!-- if multiple js files define the same function, the last one's function is used -->
<script type="text/javascript" src = "StringFunctions.js">
</script>
<script type="text/javascript" src = "table.js">
</script>
<script type="text/javascript" src = "parser.js">
</script>

</div> <!-- end pageDiv -->

</body>


</html>
